Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
171	Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet Add to Reading List Source URL: leecenter.caltech.edu Language: English - Date: 2009-05-07 18:44:00 Ring Ring theory Summation Predicate transformer semantics Mathematics Algebraic structures Structure
172	Color profile: Generic CMYK printer profile Composite Default screen CHAPTER 35 REFERENCED STANDARDS Add to Reading List Source URL: www2.iccsafe.org Language: English - Date: 2008-06-27 09:55:14 Visual arts Cold formed steel Structural steel Specification Rebar Waterproofing Drywall Concrete Formal specification Building materials Architecture Construction
173	Challenges and opportunities in implementing ICH Q8, Q9 and Q10. Jacques Morénas pharmacien général de santé publique, assistant director Add to Reading List Source URL: www.ich.org Language: English - Date: 2012-06-22 04:06:43 Q Concepts Specification Formal specification Form Television in the United Kingdom Quality Quality by Design Management
174	CAZA Terminology Policy This is normally a detailed, formal description of the considered position and views of the Association on a major issue (Animal Acquisition and Disposition, Sustainability, etc). An association p Add to Reading List Source URL: www.caza.ca Language: English - Date: 2013-05-06 13:45:13 Standards Technical communication Government procurement in the United States Technology Management Business Product development Quality Specification
175	SPECIFICATION-DRIVEN TESTING OF SMART CARD INTERFACE USING A FORMAL MODEL Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-06-18 01:00:00 Evaluation Smart card application protocol data unit Model-based testing Smart card FIPS 201 KeY Test execution engine Science ISO standards Software testing Smart cards
176	Property Specification Language Reference Manual Version 1.01 April 25, 2003 Add to Reading List Source URL: www.eda.org Language: English - Date: 2003-04-25 10:33:06 Hardware verification languages Formal methods Technical communication Property Specification Language VHDL Accellera Verilog Formal verification Specification Electronic engineering Electronic design automation Hardware description languages
177	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD 20899 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-09-19 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
178	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD[removed]Ricky W. Butler Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-26 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
179	Print Form DO NOT USE THIS FORM FOR SOLE SOURCE PURCHASE JUSTIFICATION. THIS FORM IS ONLY FOR BRAND NAME SPECIFICATION JUSTIFICATION. Add to Reading List Source URL: boa.sd.gov Language: English - Date: 2013-10-10 10:11:59 Quality Specification Standards Technical communication Brand Management Requisition Formal specification Business Technology Product development
180	1 D Specification D Specification[removed]snapshot Add to Reading List Source URL: www.prowiki.org Language: English - Date: 2007-02-07 13:53:28 Formal languages Pattern matching Parsing Encodings Lexical analysis String literal UTF-8 String Regular expression Computing Character encoding Computer programming

UPDATE